Real-Time Embedded Systems: Present and Future
نویسندگان
چکیده
منابع مشابه
Real-Time Systems - the past, the present, and the future
Distributed embedded systems are becoming progressively more dynamic, in an attempt to improve resource efficiency, increase functionality and reduce time-to-market. In these systems, components can be connected, change mode or disconnected at runtime. Some of the functionality, though, requires guaranteed timings through all such changes, which calls upon fast on-line schedulability tests. In ...
متن کاملReal Time Temporal Logic: Past, Present, Future
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that timed languages specified by the past fragment of MITL, can be accepted by deterministic timed automata. On the other hand we provide a proof that certain languages expressed in the future fragment of MITL are not dete...
متن کاملEmbedded Systems and Real Time Operating Systems
Most embedded systems are small enough to sit on the end of your thumb and are usually hidden within much larger and more complex mobile computing or electronic devices, so they often go unnoticed. But embedded systems actually represent the vast majority of semiconductor sales. According to the World Semiconductor Trade Statistics blue book, there are an estimated 5 billion embedded microproce...
متن کاملEmbedded Databases for Embedded Real-Time Systems
The goal of this research project is to bridge the gap between embedded systems, real-time systems and database systems, with a particular focus on the software development tools. Significant amount of research has focused on how to incorporate database functionality into real-time systems without jeopardizing timeliness and how to incorporate real-time behavior into embedded systems. However, ...
متن کاملReal-time Embedded Software Systems
No part of this document may be reproduced or distributed in any form by any means without prior written authorization of Tata Consultancy Services.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronics
سال: 2018
ISSN: 2079-9292
DOI: 10.3390/electronics7090205